Using symbolic execution for verification of Ada tasking programsDILLON, L. K.ACM transactions on programming languages and systems. 1990, Vol 12, Num 4, pp 643-669, issn 0164-0925, 27 p.Article

Qualitätssicherung nach DIN ISO 9000 bei Planung und Banausführung = L'assurance qualité lors de la conception et de l'exécution des travaux selon DIN ISO 9000 = Quality assurance during the design and execution of works asper ISO 9000BUHR, G.A.Bookn Wand Decke. 1996, Vol 42, Num 4, pp 76-110, 6 p.Article

Optical systems for digit-serial computationPERLEE, C. J; CASASENT, D. P.Applied optics. 1989, Vol 28, Num 3, pp 611-626, issn 0003-6935, 16 p.Article

E-learning: Drivers, developments, and decisionsKAY, David.Multimedia information & technology (Print). 2003, Vol 29, Num 1, pp 26-29, issn 1466-190X, 4 p.Article

Implementation and applications of automata (London ON, 24-25 July 2000)Sheng Yu; Păum, Andrei4340.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42491-1, XI, 342 p, isbn 3-540-42491-1Conference Proceedings

Computation of impedance by determining the inphase and quadrature components of current using a microprocessorVASU, E; MOHAMED SALIH P. E.Journal of microcomputer applications. 1987, Vol 10, Num 4, pp 351-358, issn 0745-7138Article

Aéroport Charles-ce-Gaulle: rénovation du balisage de la piste 1 = Charles-de-Gaulle airport: renovation of markings of the runway 1RAYMOND, A.Revue générale des routes et des aérodromes. 1993, Num 704, pp 69-71, issn 0035-3191Article

Riverbank renewal = Rénovation d'une riveCARROLL, R; GAFFNEY, J.P; UNGER, M et al.Civil engineering (New York, NY. 1983). 1991, Vol 61, Num 10, pp 39-41, issn 0885-7024Article

Intranet, nouvelle technologie d'information, de documentation et de communication : Internet/Intranet 2000 = Intranet: a new information, documentation and communication technologyBOILLAT, J.-F.Arbido. 2000, Vol 15, Num 4, pp 25-27, issn 1420-102XArticle

De l'implémentation d'un langage à objets dans un milieu méta-récursif vers l'implémentation méta-récursive d'un langage à objetsJeanjean, Pierre; Saint-James, Emmanuel.1987, 244 p.Thesis

Experiences in participatory ergonomics : results of a roundtable session during the 11th IEA Congress, Paris, July 1991VINK, P; LOURIJSEN, E; WORTEL, E et al.Ergonomics. 1992, Vol 35, Num 2, pp 123-127, issn 0014-0139Article

A comparison of nested loops parallelization algorithmDarte, Alain; Vivien, Frédéric.1995, 18 p.Report

Relative identifiable cost/contribution accounting: basic principles and methods of implementationSINZIG, W.International journal of production economics. 1994, Vol 36, Num 1, pp 65-73, issn 0925-5273Article

An implementation of Eden on top of concurrent HaskellBREITINGER, S; KLUSIK, U; LOOGEN, R et al.Lecture notes in computer science. 1997, pp 141-161, issn 0302-9743, isbn 3-540-63237-9Conference Paper

Assainissement non collectif des eaux usées : Les textes permettant leur mise en œuvre sont parus au JO = Non collective wastewater sewerage : the texts allowing their implementation have been published in Journal officielMUSSO-GABAI, S.Environnement & technique. 1996, Num 158, pp 65-66, issn 0986-2943Article

An attack on a recursive authentication protocol : A cautionary taleRYAN, P. Y. A; SCHNEIDER, S. A.Information processing letters. 1998, Vol 65, Num 1, pp 7-10, issn 0020-0190Article

Two-pass heap profiling : A matter of life and deathRUNCIMAN, C; RÖJEMO, N.Lecture notes in computer science. 1997, pp 222-232, issn 0302-9743, isbn 3-540-63237-9Conference Paper

REXX on TSO/EHOERNES, G. E.IBM systems journal. 1989, Vol 28, Num 2, pp 274-293, issn 0018-8670, 20 p.Article

Extension du port d'Evian-les-Bains (Haute-Savoie) = Extension of Evian-les-Bains Port (Haute-Savoie region)ASTIER, A; QUER, J.-J; CANEL, M et al.Travaux (Paris). 1993, Num 683, pp 7-14, issn 0041-1906Article

Florida bridges beat the clock = Les ponts de Floride avant l'heureMORETON, A.Civil engineering ASCE. 1990, Vol 60, Num 5, pp 74-77, issn 0360-0556, 4 p.Article

High-country hydro = Barrage en haute montagneROBISON, R.Civil engineering ASCE. 1990, Vol 60, Num 5, pp 68-70, issn 0360-0556, 3 p.Article

L'euroairport de Bâle-Mulhouse = Basel-Mulhouse EuroairportDEPETRINI, A.Travaux (Paris). 1992, Num 679, pp 59-64, issn 0041-1906Article

Die Wiederherstellung der Elbebrücke Dömitz = Reconstruction du pont sur l'Elbe près de Dömitz = Reconstruction of the Elbe bridge near DömitzLUESSE, G.Bauingenieur. 1992, Vol 67, Num 12, pp 565-573, issn 0005-6650Article

Le passage des maxi-conteneurs dans les tunnels ferroviaires de Paris au Havre = Passage of maxi-containers through railway tunnels from Paris to Le HavreLAROSE, J.-M.Travaux (Paris). 1990, Num 650, pp 10-20, issn 0041-1906Article

Villard. Notre Dame, le tunnel = Villard. Notre Dame, the tunnelJULIEN, A; THIBOUD, A; MERCUSOT, A et al.Travaux (Paris). 1990, Num 650, pp 1-9, issn 0041-1906Article